Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Sun, 28 Apr 2024 18:24:00 +0000 (21:24 +0300)
committerAdrian Bunk <bunk@debian.org>
Sun, 28 Apr 2024 18:24:00 +0000 (21:24 +0300)
commit66ed29a6ed77afa91430676127f8d35138b8c13a
tree2b74a8b59b2b9c0130664180436fc2957a6a15ec
parent83d36384b799f7e282417d305bce8e9edf8e4adf
Make documentation build works outside of git repository

Origin: other
Last-Update: 2019-01-03

Current documentation build requires git and curl to get some stuff from the internet
This patch aims to delete those dependencies, forcing git branch to master,
and using Debian provided plantuml instead of downloading it from apache mirror
Last-Update: 2019-01-03
Gbp-Pq: Name 0006-fix-doc-build.patch
doc/Makefile.am
doc/ext/traffic-server.py
doc/uml/Makefile.am